Actor model theory - PDFSEARCH.IO - Document Search Engine

Actor model theory
Results: 106

#	Item
91	Automated Test Generation for Industrial Erlang Applications Johan Blom Department of Computer Systems Uppsala University, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-07-30 08:34:24 Theoretical computer science Software testing Extended finite-state machine Theory of computation Erlang distribution Finite-state machine Erlang Actor model Test case Computing Models of computation Software engineering
92	Using Petri Nets to Model Weltanschauung Alternatives in Soft Systems Methodology John Lamp School of Management Information Systems Deakin University Geelong, Australia Add to Reading List Source URL: lamp.infosys.deakin.edu.au Language: English - Date: 1998-10-27 18:34:38 Petri nets Knowledge Enterprise modelling Concurrency Soft systems methodology Actor model System Conceptual model Petri Science Systems theory Ethology
93	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
94	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
95	Sensors and Actuators in TCOZ Brendan Mahony1Jin Song Dong2 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2000-06-26 22:43:45 Process calculus Channel Electronics Signal Analog-to-digital converter Control theory Actor model Computer programming Communicating sequential processes Digital signal processing Concurrent computing Computing
96	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
97	An Interview with Edsger W. Dijkstra OH 330 Add to Reading List Source URL: conservancy.umn.edu Language: English - Date: 2012-02-22 10:03:12 Procedural programming languages Edsger W. Dijkstra ALGOL THE multiprogramming system Actor model Control flow Adriaan van Wijngaarden BASIC Algorithm Software engineering Computing Programming language theory
98	Microsoft Word - IEEE-Annals.doc Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2008-09-22 09:09:38 Procedural programming languages Turing Award laureates Programming paradigms Edsger W. Dijkstra Programming language Software development methodology Pascal Structured programming Actor model Computing Software engineering Programming language theory
99	Domain-Specific Languages Walid Taha Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-09-25 18:15:46 Domain-specific language Functional languages Logic in computer science Programming language Preprocessor Actor model Semantics of programming languages ALGOL 68 ISWIM Software engineering Computing Programming language theory
100	VISUAL SIMULATION - AN APPROPRIATE APPROACH TO SUPPORT EXECUTION PLANNING IN BUILDING ENGINEERING M. König, Prof. Dr.-Ing., Add to Reading List Source URL: www.engr.psu.edu Language: English - Date: 2007-10-17 14:01:39 Computing Simulation software Constraint programming Operations research Simulation Theory of constraints Constraint satisfaction Actor model Process Management Process management Business

UPDATE